type récursif中文什么意思

• 递归类型

• type:    音标：[tip] 动词变位提示：type是typer的变位形式 n. m. 类型，型 型式，型号
• récursif:    音标：[rekyrsif] 专业辞典 adj.m
• algorithme récursif:    递归
• ensemble récursif:    递归集合
• langage récursif:    递归语言

例句与用法

1. Pour définir un arbre binaire de type quelconque, on se sert d'un type récursif.
2. Dans un langage de programmation, un type récursif ou type inductif est un type de données pour des valeurs qui contiennent d'autres valeurs du même type.
3. En théorie des types, un type récursif a la forme μα.T où la variable de type peut apparaître dans le type T et représente le type entier lui-même.